algebraic axiom

代數公理